Nuprl Definition : bool 13,42
 == ?Unit 
latex

clarification:

 == Unit + Unit 
latex

Upbool 1, bool 1
Wellformedness Lemmasbool wf, bool wf
Definitionsleft + right, Unit
FDL editor aliasesbool

origin